Strong monad - PDFSEARCH.IO - Document Search Engine

Strong monad
Results: 15

#	Item
11	Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-03-11 08:14:50 Category theory Monad Functor Map Natural transformation Monoid List Applicative programming language Strong monad Adjoint functors Abstract algebra Software engineering
12	Theory and Applications of Categories, Vol. 26, No. 4, 2012, pp. 97–131. COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2012-02-24 15:35:03 Abstract algebra Monad Universal property Functor Strong monad Coproduct Function Cartesian closed category Morphism Category theory Adjoint functors Mathematics
13	MFPS[removed]Towards a Common Categorical Semantics Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-04-24 15:13:37 Logic Monad Curry–Howard correspondence Monoidal category Cartesian closed category Categorical logic Kripke semantics Modal logic Strong monad Category theory Mathematics Adjoint functors
14	PDF Document Add to Reading List Source URL: www.dicta.org.uk Language: English - Date: 2009-10-17 00:41:08 Computer programming Adjoint functors Monad Continuation Strong monad Type class Call-with-current-continuation Regular expression Backtracking Software engineering Declarative programming Functional programming
15	PDF Document Add to Reading List Source URL: home.imf.au.dk Language: English - Date: 2007-03-19 03:23:44 Abstract algebra Adjoint functors Strong monad Monoidal monad Monoidal functor Monad Enriched category Monoid Closed monoidal category Category theory Monoidal categories Algebra